A Practical Development Process for Parallel Large-Scale Applications and its Underlying Formal Framework

نویسندگان

  • J. P. Geschiere
  • Wilbert H. F. J. Körver
چکیده

The developmentof parallellarge-scaleapplicationcodes is a challenging problem, because it requires a combination of application knowledge, understanding of the various aspects of parallelism involved, and software engineering. Moreover, the size of large-scale applications usually is input-dependent, and the parallel algorithm needs to be scalable to various numbers of processors. This paper combines the theoretical as well as the practical aspects required for the understanding, realisation, and manage-ability of the development process of parallel large-scale applications. It provides a formal framework in which their (partly machine-model speciic) potential parallelism can be expressed and requirements on scheduling and implementation are given. The paper further describes a practical software-engineering development approach build on this framework, and discusses and illustrates its usage in two large case studies.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Developing Reliable yet Flexible Software through If-Then Model Transformation Rules

Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...

متن کامل

Parallel computation framework for optimizing trailer routes in bulk transportation

We consider a rich tanker trailer routing problem with stochastic transit times for chemicals and liquid bulk orders. A typical route of the tanker trailer comprises of sourcing a cleaned and prepped trailer from a pre-wash location, pickup and delivery of chemical orders, cleaning the tanker trailer at a post-wash location after order delivery and prepping for the next order. Unlike traditiona...

متن کامل

Large-Scale Expansion of Human Embryonic and Induced Pluripotent Stem Cells for Cell Therapy Applications

Successful isolation, derivation and culturing of human pluripotent stem cells, including human embryonic stem cells (hESCs) and human induced pluripotent stem (hiPSCs) cells in laboratory scale has opened new horizones for cell therapy applications such as tissue engineering and regenerative medicine. However, most of the cell therapy protocols using these unique cells require large number of ...

متن کامل

A Practical Desalinization Model for Large Scale Application

Salinity of soil and water is the most important agricultural hazard in arid and semi-aridregions. In saline soils, yield production directly influences by soluble salts in the root zone aswell as by shallow water table depth. The first step for reclamation of such soils is reducingsalinity to optimum level by leaching. The objective of this study was to develop a practicalmodel to estimate wat...

متن کامل

A Review on Applications of Membrane Distillation (MD) Process for Wastewater Treatment

The growing scarcity of fresh water is driving the implementation of wastewater treatment and water reuse on an increasingly large scale. Various methods have been developed and used for water reuse from wastewater; however, the membrane distillation (MD) process, as a promising separation technology, has recently gained more attention. The MD process is a non-isothermal membrane-based separati...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Comput. J.

دوره 39  شماره 

صفحات  -

تاریخ انتشار 1996